Repository navigation
fix(sshx): qualify extra-work admission and release beta.56 - #1079
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Unverified objections could be marked as a blocking goal gap or abstention basis without the qualification already required by the existing admission rule. Require a separately admitted basis for blocking uncertainty dispositions and decision relevance for bounded investigation. Preserve confirmed goal defects, missing required evidence, disputed admitted defects and sourced future ordinary inputs.
The contract, Lean premise projection, baseline record and English/Chinese documentation are synchronized. All six mapped release manifests move to
1.0.0-beta.56through the repository version script.Validation: the source candidate passed three independent reviews, the 115-test contract suite, formal trace checks, repository documentation tests and the Lean build (8,762 jobs). The independent tests reviewer also compiled seven parametric examples covering rejected unsupported/false premises, relevance and retained admitted gaps. Release metadata receives a separate independent check; required GitHub CI must pass before merge.
The evidence establishes contract/model behavior, not universal live worker compliance or current-session adoption. After merge, publish
v1.0.0-beta.56as a GitHub prerelease.